prove bijection

visit shbcf.ru